Dynamic Data Sharing from Large Data Sources Fiona McNeill and Andriana Gkaniatsou University of Edinburgh Abstract. This paper outlines our work on facilitating fast, effective, on-demand data sharing during emergency r

Source URL: homepages.inf.ed.ac.uk

A fast natural Newton method Nicolas Le Roux Andrew Fitzgibbon Microsoft Research, 7 JJ Thomson Avenue, Cambridge, CB3 0FB UK Abstract

Source URL: nicolas.le-roux.name

Fast and Flexible Proof Checking for SMT Duckki Oe, Andrew Reynolds, and Aaron Stump Computer Science, The University of Iowa, USA Abstract. Fast and flexible proof checking can be implemented for SMT using the Edinburgh

Source URL: lara.epfl.ch

Fast Binary Translation: Translation Efficiency and Runtime Efficiency Mathias Payer Department of Computer Science ETH Zurich Abstract—Fast binary translation is a key component for

Source URL: hexhive.github.io

• Software engineering
• Computer programming
• Software
• Software optimization
• Programming language implementation
• Profilers
• Compiler construction
• Arrays
• Inline expansion
• Binary translation
• DynamoRIO
• Self-modifying code

A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK LINDA BROWN WESTRICK Abstract. We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differen

Source URL: www.math.uconn.edu

• Ordinal numbers
• Proof theory
• Computability theory
• Mathematical notation
• Ordinal notation
• Continuous function
• Constructible universe
• Limit of a function
• Symbol
• NC
• Computable number
• Fast-growing hierarchy

http://tuxgraphics.org/electronics Fast realtime communication over ethernet Abstract: The tuxgaphics avr ethernet board can be used for very fast time critical communication. You can read sensor data or

Source URL: www.tuxgraphics.org

Fast Incremental Method for Nonconvex Optimization Sashank J. Reddi, Suvrit Sra, Barnab´as P´oczos, Alex Smola Abstract— We analyze a fast incremental aggregated gradient method for optimizing nonconvex problems of t

Source URL: suvrit.de

Fast collision detection through bounding volume hierarchies in workspace-time space for sampling-based motion planners Ulrich Schwesinger1 , Roland Siegwart1 and Paul Furgale1 Abstract— This paper presents a fast coll

Source URL: europa2.informatik.uni-freiburg.de

• Computer science
• Computational geometry
• 3D computer graphics
• Computing
• Video game development
• Collision detection
• Search algorithms
• Computer graphics
• Motion planning
• Bounding volume
• Collision
• Minimum bounding box

INFLUENCE OF FAST NEUTRONS IRRADIATION ON CRITICAL CURRENT EFFECTS IN HTc SUPERCONDUCTORS Sosnowski J. Electrotechnical Institute, Pożaryskiego 28, Warsaw, Poland Abstract – Theoretical model of

Source URL: isinn.jinr.ru

Multileave Gradient Descent for Fast Online Learning to Rank (Abstract) Anne Schuth† Harrie Oosterhuis†

Source URL: www.anneschuth.nl